import ajv = require("ajv");
